1541. Mathematical methods for artificial intelligence and autonomous systems
پدیدآورنده : / Edward R. Dougherty, Charles R. Giardina
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : Artificial intelligence-- Mathematics,Artificial intelligence-- Mathematical models
رده :
006
.
3015118
D732m
1542. Mathematical methods for artificial intelligence and autonomous systems
پدیدآورنده : Dougherty, Edward R
موضوع : ، Artificial intelligence -- Data processing,Mathematics ، Artificial intelligence
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
1543. Mathematical methods for artificial intelligence and autonomous systems
پدیدآورنده : Dougherty, Edward R.
کتابخانه: (طهران)
موضوع : Artificial intelligence - Data processing , Artificial intelligence - Mathematics
رده :
Q
336
.
D68
1544. Mathematical methods for artificial intelligence and autonomous systems
پدیدآورنده : Dougherty, Edward R.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Mathematics,، Artificial intelligence
رده :
QA
36
.
5
.
D6
1988
1545. Mathematical methods in artificial intelligence
پدیدآورنده : Edward A. Bender
موضوع : Artificial intelligence - Mathematics,Expert systems (Computer science)
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
1546. Mathematical methods in artificial intelligence
پدیدآورنده : Bender, Edward A.
کتابخانه: (طهران)
موضوع : Artificial intelligence - Mathematics , Expert systems )Computer science(
رده :
Q
335
.
B45
1547. Mathematical methods in artificial intelligence
پدیدآورنده : Bender, Edward A.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Mathematics ، Artificial intelligence,، Expert systems )Computer science(
رده :
Q
335
.
B45
1996
1548. Mathematical methods in artificial intelligence /
پدیدآورنده : Edward A. Bender
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence-- Mathematics,Expert systems (Computer science)
رده :
Q335
.
B45
1996
1549. Mathematics Education in the Age of Artificial Intelligence
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع :
1550. May 1, 2010, Revised Selected Papersع۰ب16, Dakar, Senegal, April 25-Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR
پدیدآورنده : / Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
1551. Medical Applications of Artificial Intelligence
پدیدآورنده : / Agah, Arvin
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ENGINEERING, BIOMEDICAL
رده :
E-BOOK
1552. Metaphor and artificial intelligence /
پدیدآورنده : John A. Marnden and Mark G. Lee, guest editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Metaphor-- Data processing.,Artificial intelligence.,Metaphor-- Data processing.
رده :
P325
.
5
.
M47
M48
2001
1553. Methods and applications of artificial intelligence
پدیدآورنده : / George A. Vouros, Themistoklis Panayiotopoulos, eds
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Artificial intelligence Congresses,SETN
رده :
Q334
.
H45
2004
1554. Methods and applications of artificial intelligence : Second Hellenic Conference on AI, SETN 2002, Thessaloniki, Greece, April 11-12, 2002 : proceedings
پدیدآورنده : Ioannis P. Vlahavas, Constantine D. Spyropoulos )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
2308
1555. Methods and applications of artificial intelligence : Third Hellenic Conference on AI, SETN 2004, Samos, Greece, May 5-9, 2004 : proceedings
پدیدآورنده : George A. Vouros, Themistoklis Panayiotopoulos )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
3025
1556. Methods and tools for applied artificial intelligence
پدیدآورنده : Popovic, Dobrivoje
کتابخانه: (طهران)
موضوع : Artificial intelligence - Data processing , Knowledge representation )Information theory( , Expert systems )Computer science(
رده :
Q
336
.
P67
1994
1557. Micro-PROLOG and artificial intelligence
پدیدآورنده : Berk, A A
کتابخانه: (طهران)
موضوع : ، Artificial intelligence -- Data processing,، Microcomputers -- Programming,، Micro-prolog )Computer program language(
رده :
Q
336
.
B4
1558. Micro-prolog & artificial intelligence
پدیدآورنده : BERK,A A
کتابخانه: (طهران)
موضوع : ARTIFICIAL INTELLIGENCE-DATA PROCESSING , MICROCOMPUTERS-PROGRAMMING , MICRO-PROLOG )COMPUTER PROGRAM
رده :
Q
336
.
B47
1559. Mind design : philosophy, psychology, artificial intelligence
پدیدآورنده : edited by John Haugeland
کتابخانه: (طهران)
موضوع : Addresses, essays, lectures ، Artificial intelligence,Addresses, essays, lectures ، Psychology,Addresses, essays, lectures ، Philosophy
رده :
Q
335
.
M54